1. A=B /
پدیدآورنده : Marko Petkovšek, Herbert S. Wilf, Doron Zeilberger ; [with foreword by Donald E. Knuth.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial identities-- Data processing.,Identités combinatoires-- Informatique.,Algorithmus,Algorithmus.,Algoritmos e estruturas de dados.,Combinatorial identities-- Data processing.,Hypergeometrische Reihe,Hypergeometrische Reihe.,Spezielle Funktion,Spezielle Funktion.
رده :
QA164
.
9
.
P48
1996
2. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
3. Semantics of data types :
پدیدآورنده : edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.
4. The seventeen provers of the world
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory ; Data processing ; Algebra ; Computer programs ;
5. The seventeen provers of the world
پدیدآورنده : / foreword by Dana S. Scott
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Proof theory--Data processing,Algebra--Computer programs
رده :
QA
,
155
.
7
,.
E4
,
S48
,
2006
6. The seventeen provers of the world
پدیدآورنده : Freek Wiedijk )ed.(; foreword by Dana S. Scott
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing ، Proof theory,Computer programs ، Algebra
رده :
QA
76
.
L28
Vol
.
3600
